location |
trace |
/var/opt/lsb/test/olver-core/2013-01-21_10-20-40/math_complex_scenario.utz (math_complex_scenario.utt), line 2370 |
occurence |
scenario |
math_complex_scenario |
specification function |
cproj_spec() |
parameter value |
CallContext context = [pid=14215,thr=b749f6c0] |
parameter value |
UnifloatComplex * @x = (long double) NaN + i *(long double) 1.2300000000000000000000000000000000e+02 (0x.F600000000000000P7L) |
parameter value |
UnifloatComplex * x = (long double) NaN + i *(long double) 1.2300000000000000000000000000000000e+02 (0x.F600000000000000P7L) |
return value |
(UnifloatComplex *) (long double) Infinity + i *(long double) 0.0000000000000000000000000000000000e+00 (0x.0000000000000000P1L) |
coverage & branch |
C RE is nan and IM is normal |
properties |
REQ failed |
cprojl.01 |
expected value |
(long double) NaN + i *(long double) 1.2300000000000000000000000000000000e+02 (0x.F600000000000000P7L) |
kind |
POSTCONDITION_FAILED |